\begin{titlepage}

\begin{center}


% Upper part of the page

\textsc{\LARGE Université Paris Sud}\\[1.5cm]

\textsc{\Large Rapport de TER}\\[0.5cm]

\textsc{\Large Master 1 Informatique}\\[0.5cm]

% Title
\HRule \\[0.4cm]
{ \huge \bfseries Vérification de programmes à l'Algony}\\[0.4cm]
\HRule \\[1.5cm]

% Author and supervisor
\begin{minipage}{0.4\textwidth}
\begin{flushleft} \large
\emph{Auteurs:}\\
David \textsc{Declerck} \\ Rémy \textsc{El Sibaïe Besognet}
\end{flushleft}
\end{minipage}
\begin{minipage}{0.4\textwidth}
\begin{flushright} \large
\emph{Encadrant:} \\
Sylvain \textsc{Conchon}
\end{flushright}
\end{minipage}

\vfill

% Bottom of the page
{\large \today}

\end{center}

\end{titlepage}
